xen/arm: vgic-v2: message in the emulation code should be rate-limited
authorJulien Grall <julien.grall@linaro.org>
Mon, 19 Jan 2015 12:59:42 +0000 (12:59 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 29 Jan 2015 15:56:24 +0000 (15:56 +0000)
commitd0b2caa80fccafbb131b28b7b8488001d82ab4bf
tree1485229dc6c3be291b8188713c8b9e47601f2b40
parentc96222cc6dbb285a4de8f25e3b8e284e212ef964
xen/arm: vgic-v2: message in the emulation code should be rate-limited

printk is not rated-limited by default. Therefore a malicious guest may
be able to flood the Xen console.

If we use gdprintk, unecessary information will be printed such as the
filename and the line. Instead use XENLOG_G_ERR combine with %pv.

This is XSA-118.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v2.c